POUR PDF - copie
نویسندگان
چکیده
ion Techniques: model-checking raised interest in techniques to abstract infinite to finite models. Provided that the abstraction has been proven sound, testing may be sufficient for establishing correctness [10, 18]. Systematic Testing: the discussion over test adequacy criteria [27], i. e. criteria solving the question “when did we test enough to meet a given test hypothesis,” led to more systematic approaches for partitioning the space of possible test data and the choice of representatives. New systematic testing methods and abstraction techniques can be found in [22, 20]. Specification Animation: constructing counter-examples has raised interest also in the theorem proving community, since combined with animations of evaluations, they may help to find modeling errors early and to increase the overall productivity [9, 23, 17]. The first two areas are motivated by the question “are we building the program right?” the latter is focused on the question “are we specifying the right program?” While the first area shows that Dijkstra’s Verdict is no longer true under all circumstances, the latter area shows, that it simply does not apply in practically important situations. In particular, if a formal model of the environment of a software system (e. g. based among others on the operation system, middleware or external libraries) must be reverseengineered, testing (“experimenting”) is without alternative (see [12]). Following standard terminology [27], our approach is a specification-based unit test . In general, a test procedure for such an approach can be divided into: Test Case Generation: for each operation the pre/postcondition relation is divided into sub-relations. It assumes that all members of a sub-relation lead to a similar behavior of the implementation.
منابع مشابه
POUR PDF - copie 2
We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite execution where the replicated state machine exhibits the desired behavior. In other words, the system reaches a configuration from which it operates accord...
متن کاملPOUR PDF - copie 2
In this article we study proper labelings (or valuations) of the edges of a graph by integers, such that the sums of the values taken on the edges incident to each vertex ( the weight of this vertex) are all distinct. We look for the minimum of max(v) among the possible valuations v for some particular classes of graphs.
متن کاملCopie de POUR PDF
The communication infrastructure around us is a rich but fragmented environment made of separated services corresponding to different levels of engagement. The multiscale approach to communication proposes instead to create systems that support a variable degree of engagement and smooth transitions between degrees. This paper reports on the design and evaluation of such a system called Pêle-Mêl...
متن کاملCopie de POUR PDF
Facilitating the acquisition of small targets is an active area of research. Despite the usefulness of the techniques proposed so far, we show why this topic can benefit from more fundamental work. We investigate three factors that might account for the observed drop in performance when selecting small targets: motor accuracy, visual legibility and quantization. Our findings suggest that visual...
متن کامل